PragmaDev Studio - Orodja za specifikacijo in funkcionalno oblikovanje
PragmaDev Studio est un ensemble d'outils qui aident à gérer la complexité inhérente aux systèmes modernes tant au niveau de la spécification, du développement, que du test. PragmaDev Studio se compose de tous les autres modules PragmaDev Specifier, PragmaDev Developer, PragmaDev Tester, et PragmaDev Tracer, auxquels s'ajoutent des fonctionnalités avancées et des liens entre ces différents modules dans un environnement intégré. PragmaDev Studio est la solution idéale pour les petites ou les grandes organisations qui ont des besoins de modélisation ou de test dans une de ses phases de développement, que ce soit en spécification, en développement, ou en test.